Параметры анализа¶

-p POLICY

Укажите политику, которую следует проанализировать. Если политика не указана, sedta выполнит поиск политики, которая выполняется в текущей системе.

-s SOURCE

Укажите исходный тип, который следует использовать при анализе доменных переходов.

-t TARGET

Укажите целевой тип, который следует использовать при анализе доменных переходов. Для использования этого параметра также потребуется указать алгоритм анализа.

Алгоритмы анализа¶

sedta использует графовые алгоритмы для анализа путей доменных переходов политики SELinux. Следующие алгоритмы являются параметрами определения путей от исходного типа к целевому типу.

-S

Вывести кратчайший путь (пути) доменных переходов от исходного типа к целевому типу. Если несколько путей имеют одинаковую длину, будут показаны все эти пути.

-A LIMIT

Вывести все пути доменных переходов с количеством шагов вплоть до LIMIT. В зависимости от количества связей в политике, это может потребовать большого количества системных ресурсов.

Опции анализа¶

-r

Выполнить обратный анализ доменных переходов. Доменные переходы будут анализироваться для выявления родительских доменов, а не дочерних доменов.

-l LIMIT_TRANS

Указать максимальное количество доменных переходов, которое следует вывести. По умолчанию оно не ограничено.

EXCLUDE

Разделённый пробелами список типов, которые следует исключить из анализа.

Общие параметры¶

--stats

Вывести графовую статистику доменных переходов в конце анализа.

-h, --help

Вывести справочные сведения и выйти.

--version

Вывести сведения о версии и выйти.

-v, --verbose

Вывести дополнительные информационные сообщения.

--debug

Включить отладочный вывод.